大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Formal Methods and Software Engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

0
索取号：
作者：Qin、 Shengchao.、Qiu、 Zongyan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings

0
索取号：
作者：D茅fago、 Xavier.、Petit、 Franck.、Villain、 Vincent.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model Driven Engineering Languages and Systems [electronic resource] : 14th International Conference, MODELS 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings

0
索取号：
作者：Whittle、 Jon.、Clark、 Tony.、K眉hne、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Challenges at the Interface of Data Analysis, Computer Science, and Optimization [electronic resource] : Proceedings of the 34th Annual Conference of the Gesellschaft f眉r Klassifikation e. V., Karlsruhe, July 21 - 23, 2010

0
索取号：
作者：Gaul、 Wolfgang A.、Geyer-Schulz、 Andreas.、Schmidt-Thieme、 Lars.、Kunze、 Jonas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Implementation and Application of Functional Languages [electronic resource] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers

0
索取号：
作者：Scholz、 Sven-Bodo.、Chitil、 Olaf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Web Information Systems Engineering-WISE 2010 Workshops [electronic resource] : WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010, Revised Selected Papers

0
索取号：
作者：Chiu、 Dickson K. W.、Bellatreche、 Ladjel.、Sasaki、 Hideyasu.、Leung、 Ho-fung.、Cheung、 Shing-Chi.、Hu、 Haiyang.、Shao、 Jie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

0
索取号：
作者：Bultan、 Tevfik.、Hsiung、 Pao-Ann.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbr眉cken, Germany, October 5-7, 2011. Proceedings

0
索取号：
作者：Tinelli、 Cesare.、Sofronie-Stokkermans、 Viorica.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Architecture [electronic resource] : ISCA 2010 International Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA, Saint-Malo, France, June 19-23, 2010, Revised Selected Papers

0
索取号：
作者：Varbanescu、 Ana Lucia.、Molnos、 Anca.、Nieuwpoort、 Rob.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Software Process Definition and Management [electronic resource]

0
索取号：
作者：M眉nch、 J眉rgen.、Armbrust、 Ove.、Kowalczyk、 Martin.、Soto、 Mart铆n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

0
索取号：
作者：Hage、 Jurriaan.、Moraz谩n、 Marco T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Computer Safety, Reliability, and Security [electronic resource] : 30th International Conference,SAFECOMP 2011, Naples, Italy, September 19-22, 2011. Proceedings

0
索取号：
作者：Flammini、 Francesco.、Bologna、 Sandro.、Vittorini、 Valeria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advanced Computer Science and Information Technology [electronic resource] : Third International Conference, AST 2011, Seoul, Korea, September 27-29, 2011. Proceedings

0
索取号：
作者：Kim、 Tai-hoon.、Adeli、 Hojjat.、Robles、 Rosslin John.、Balitanas、 Maricel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Location-Based Services [electronic resource] : 8th International Symposium on Location-Based Services, Vienna 2011

0
索取号：
作者：Gartner、 Georg.、Ortag、 Felix.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Exciton Polaritons in Microcavities [electronic resource] : New Frontiers

0
索取号：
作者：Timofeev、 Vladislav.、Sanvitto、 Daniele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advanced Parallel Processing Technologies [electronic resource] : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011. Proceedings

0
索取号：
作者：Temam、 Olivier.、Yew、 Pen-Chung.、Zang、 Binyu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.